((A, E)) => B